N-Prolog 컴파일러 최적화

N-Prolog에는 컴파일러도 장착되어 있습니다. 를 판정하는 것입니다. 9queens를 표시해 16회 연속해서 실행하는 것입니다. n_clause_with_arity/3 제1항에 술어명, 제2항에 항수를 주고, 그 요건을 만족하는 모든 절, 술어를 제3항에 unify한다. n_variable_convert/2 제1항에 주어진 절에 포함되는 변수를 var*형식하여 리스트로서 제2항에 unif...

컴파일러 자작Prolog